#header {
	height: 16px;
	background-color: #efefef;
	font-family: tahoma, helvetica, sans-serif;
	border-bottom: 1px solid #000000;
}

header_item {
	padding-left: 5px;
	padding-right: 5px;
	font-weight: bold;
}

header_selectable {
	padding-left: 5px;
	padding-right: 5px;
	font-weight: bold;
}

header_selectable:hover {
	padding-left: 5px;
	padding-right: 5px;
	background-color: #cfcfcf;
}